Interval Approach to Testing Software

The experience of many programmers shows that it is actually impossible to extract all the faults from a sophisticated software. Therefore it is necessary to estimate the time interval during which the remaining faults will not influence the program. The statistical models which are used to get such estimates are semi-heuristic and lack convincing theoretical explanation. In this paper, we consider an interval approach to program testing. We formulate the problem of choosing the best interval software reliability model as a mathematical optimization problem, and solve this problem.